What is the optimal cutoff surface for ore bodies with more than one mineral?

In mine planning problems, cutoff grade optimization defines a threshold at every time period such that material above this value is processed, and the rest is considered waste. In orebodies with multiple minerals, which occur in practice, the natural extension is to consider a cutoff surface. We show that in two dimensions the optimal solution is a line, and in n dimensions it is a hyperplane.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

Reduction of UO2 and ThO2 content in zircon mineral from Bangka Region using calcium borate and hydrochloric acid

In an effort to reduce radiation exposure in the use of zircon minerals as opacity for the ceramic industry, it is required that the concentrations of UO₂ and ThO₂ contained in zircon must be less than 500 ppm. The purpose of this study was to reduce the concentration of UO₂ and ThO₂ in zircon minerals. The experimental investigation was initiated by synthesizing of calcium borate (CB), roasting of zircon concentrate with CB at various temperatures, and leaching with hydrochloric acid. The product quality of zircon minerals before and after roasting and leaching was characterized by Fourier Transform Infrared Spectrometer, X-Ray Diffractometer, and X-ray Fluorescence Spectrometer. The experimental results show that roasting zircon concentrate with CB at a zircon/CB ratio of 5/5 (weight/weight), a temperature of 1200 °C, a contact time of 3 h, and the leaching of the roasted results with 6 M HCl can reduce the total concentration of UO₂ and ThO₂ in zircon from 2008,1 ppm to 498.4 ppm. It can be concluded that the prototype zircon product from the experimental results has fulfilled the premium grade zircon with UO₂ and ThO₂ content of less than 500 ppm.     

On the relation between formal grade and depth with a view toward vanishing of Lyubeznik numbers

Let (R,𝔪) be a local ring and I an ideal. The aim of the present paper is twofold. At first we continue the investigation to compare fgrade(I,R) with depth R∕I and further we derive some results on the vanishing of Lyubeznik numbers.     

基于LSTM的浮选钼精矿品位软测量模型

战略性稀有金属钼矿品位低,组分复杂、嵌布粒度细等特点,其有价金属分离回收难。浮选作为微细粒钼矿分离回收的主要选矿方法之一,其浮选钼精矿品位一直是选厂的关键性产品指标。国内大多数选厂采取轮班制采样,人工化验得到精矿品位结果,但此方式严重滞后于浮选工艺,难以满足对生产过程进行实时监测和操作指导。LSTM是一种特殊的循环神经网络,引入门机制有效的传递或选择性遗忘长时间序列中的信息,解决RNN中的长期依赖、梯度消失和爆炸问题。本文分析整理东坡选厂中各平台源数据,结合选厂浮选工艺及机理,筛选出多个影响浮选钼精矿品位的变量作为模型输入;将输入变量进行异常值判定,缺失值填充和数据降噪等数据预处理,建立高质量浮选钼精矿品位数据库;软测量模型采用PyCharm软件编码,使用BatchNorm批量规范化处理样本数据,加入Dropout正则化防止过拟合,建立基于LSTM的浮选钼精矿品位软测量模型,通过前向传播算法更新神经网络结构参数,并于Linear模型和CNN模型的预测性能指标结果比较。结果表明：基于LSTM的浮选钼精矿品位软测量模型预测准确度高,样本数据误差波动平稳,浮动范围小,模型泛化能力强,模型平均绝对百分比误差MAPE为1.13%,均方根误差RMSE为0.7049%,决定系数R2为0.8763,实现了浮选钼精矿品位的在线预测。     

脑胶质瘤磁共振弥散张量成像定量参数与VEGF、MMP-9表达的相关性

本研究旨在分析脑胶质瘤患者的磁共振弥散张量成像(DTI)参数与病变组织血管内皮生长因子(VEGF)和基质金属蛋白酶-9(MMP-9)表达的相关性,以及DTI参数对脑胶质瘤进行分级诊断的价值。根据病理分级将102例脑胶质瘤患者分为低级别组(47例)和高级别组(55例),均行MRI和DTI检查,定量测定表观弥散系数(ADC)、各向异性分数(FA)、相对ADC(rADC)、相对FA(rFA)值及相对轴向扩散系数(rAD)值;用免疫组化法检测VEGF和MMP-9表达情况。结果显示,高级别组患者的rADC、ADC、rAD、FA、rFA均低于低级别组(P<0.05);高级别组患者的VEGF和MMP-9阳性表达均高于低级别组(P<0.05)。rADC、ADC、rAD、FA、rFA与VEGF和MMP-9表达均呈负相关(P<0.05);rADC、ADC、rAD、FA、rFA对脑胶质瘤分级诊断的AUC均具有一定诊断价值(P<0.05)。本研究结果提示DTI定量参数与脑胶质瘤VEGF和MMP-9表达具有相关性,且有助于脑胶质瘤的分级诊断。     

运用综合手段研究铅锌硫化物精矿的氧化和鉴定其产物

南京关口每年从国外进口铅、锌精矿达几百万吨,随着我国国民经济的发展,作为重要有色金属来源的该矿种的进口量仍将逐年增加。硫化物精矿在运输和储存过程中都有可能发生氧化,由此导致金属品位的波动是常见现象,然而此前在这方面的报导甚少。为此,作者以铅锌硫化物精矿为例对其进行了模拟状态下的氧化实验并采用能谱、光学显微镜、化学物相分析、X射线衍射分析、扫描电镜等手段对氧化前及氧化后的样品进行了鉴定。结果表明,在模拟精矿储运条件下两种精矿的氧化皆甚为明显,铅精矿为1.5%,而锌精矿达到了14.5%,由此引起的品位变化是不可忽视的。鉴于有色金属硫化物精矿在储运过程中呈现了它们的易氧化性并对品位产生影响,所以有关这类矿产品的商贸过程中涉及取样、样品加工和保管、公证等问题,均应在科学实验基础上规范化。     

气基磁化焙烧回收包头稀土尾矿中铁的研究

试验采用磁化焙烧-磁选的方法来回收包头稀土尾矿中的Fe。考察了还原球团的粒径、焙烧温度、还原气体的成分、还原气气体流量、焙烧时间对于磁化焙烧回收Fe的影响。在焙烧温度为580℃,CO与CO2的浓度比为40∶60,还原气体气流量为1.2 L·min-1,焙烧时间为60 min的条件下对球团进行磁化焙烧,并将焙烧后的球团进行磨矿,使得-200目的物料占物料总重量的95%。将磨矿后的物料置于磁场强度为233 k A·m-1的磁选管中进行磁选,可以得到品位为60%左右的铁精矿,其铁回收率达到70%左右。     

具有不同功能梯度分布函数的板件的三维分析

发展了一种新颖的功能梯度结构分析的细观元法。细观元法对结构的常规有限单元内部设置密集细观单元以反映材料特性梯度变化,又通过协调条件将各细观元结点自由度转换为同一常规有限元自由度,再上机计算。这种细观元法既能充分反映材料功能梯度变化特性;而其计算单元又和常规有限元一样,是一种针对功能梯度结构分析的有效数值方法。文中通过细观元技术进行计算、分析,给出了具有不同功能梯度分布函数板件的力学量三维分布形态。     

香港花岗岩风化分级化学指标体系与风化壳分带

火成岩的化学风化过程实质上就是碱、碱土金属组分水解淋失与脱硅富铁铝化的地球化学过程。不同风化程度的岩石处于整个化学风化过程的不同阶段,因而具有不同的化学成分和风化度指标。笔者在对香港九龙两个地方5个钻孔共计150件不同深度、不同风化程度的样品化学全分析结果与岩土风化程度宏观判别结果的相互对比、选择和确认的基础上,建立了香港地区花岗岩风化岩土风化程度工程分级的化学指标体系。这一研究成果的提出不仅有利于提高花岗岩风化岩土工程分类的科。学性、可靠性和实用性,而且可以为风化岩土工程特性与风化作用关系研究提供理论依据。